Unifying Theories of Programming

Summary

Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics, and algebraic semantics can be combined in a unified framework for the formal specification, design, and implementation of programs and computer systems.